$\exists$$e$$\in$[$e_{1}$,$e_{2}$].$P$($e$) $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$$\exists$$e$:E. $e_{1}$ $\leq$ $e$  \& $e$ $\leq$ $e_{2}$  \& $P$($e$)